Search CORE

2 research outputs found

Symbolic Execution Game Semantics

Author: International Conference on Formal Structures for Computation and Deduction
Lin Y-Y
Tzevelekos N
Publication venue
Publication date: 14/04/2020
Field of study

Confluence Competition 2018

Author: 3rd International Conference on Formal Structures for Computation and Deduction
Aoto T
Hamana M
Hirokawa N
Middeldorp A
NAGELE J
Nishida N
Shintani K
Zankl H
Publication venue: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Publication date: 01/01/2018
Field of study

We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically

Dagstuhl Research Online Publication Server

Queen Mary Research Online

JAIST Repository